\documentclass[10pt,a5paper%,showframe
]{bookvvmrus}
\input{definitions.tex}

\title{Введение в метаматематику}
\author{Стефен Коул Клини}
\date{1957}

\begin{document}
\input{title_pages.tex}

\frontmatter
\setcounter{page}{5}%
\input{parts/intros.tex}

\mainmatter
\input{parts/part1-the_problems_of_foundations.tex}
\input{parts/part2-mathematical_logic.tex}
\input{parts/part3-recursive_functions.tex}
\input{parts/part4-mathematical_logic_additional_topics.tex}

\appendix
\input{parts/translator_s_appendixes.tex}

\backmatter
\makeatletter%
\def\toclevel@chapter{-1}%
\makeatother%
\printbibliography[title={Библиография},keyword={mainBibliography}]

\tableofcontents

\end{document}
